Splitting Theorems and the Jump Operator
نویسندگان
چکیده
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are low2. ∗Research partially supported by the U.S. ARO through ACSyAM at the Mathematical Sciences Institute of Cornell University Contract DAAL03-91-C-0027, the IGC of Victoria University and the Marsden Fund for Basic Science under grant VIC-509. §Research partially supported by NSF Grant DMS-9503503 and the U.S. ARO through ACSyAM at the Mathematical Sciences Institute of Cornell University Contract DAAL0391-C-0027.
منابع مشابه
On inverse problem for singular Sturm-Liouville operator with discontinuity conditions
In this study, properties of spectral characteristic are investigated for singular Sturm-Liouville operators in the case where an eigen parameter not only appears in the differential equation but is also linearly contained in the jump conditions. Also Weyl function for considering operator has been defined and the theorems which related to uniqueness of solution of inverse proble...
متن کاملOn some fixed points properties and convergence theorems for a Banach operator in hyperbolic spaces
In this paper, we prove some fixed points properties and demiclosedness principle for a Banach operator in uniformly convex hyperbolic spaces. We further propose an iterative scheme for approximating a fixed point of a Banach operator and establish some strong and $Delta$-convergence theorems for such operator in the frame work of uniformly convex hyperbolic spaces. The results obtained in this...
متن کاملStability and convergence theorems of pointwise asymptotically nonexpansive random operator in Banach space
In this paper, we prove the existence of a random fixed point of by using pointwise asymptotically nonexpansive random operator and the stability resultsof two iterative schemes for random operator.
متن کاملComparison results on the preconditioned mixed-type splitting iterative method for M-matrix linear systems
Consider the linear system Ax=b where the coefficient matrix A is an M-matrix. In the present work, it is proved that the rate of convergence of the Gauss-Seidel method is faster than the mixed-type splitting and AOR (SOR) iterative methods for solving M-matrix linear systems. Furthermore, we improve the rate of convergence of the mixed-type splitting iterative method by applying a preconditio...
متن کاملConvergence theorems of iterative approximation for finding zeros of accretive operator and fixed points problems
In this paper we propose and studied a new composite iterative scheme with certain control con-ditions for viscosity approximation for a zero of accretive operator and xed points problems in areflexive Banach space with weakly continuous duality mapping. Strong convergence of the sequencefxng dened by the new introduced iterative sequence is proved. The main results improve andcomplement the co...
متن کاملPseudo Jump Operators . I : the R . E . Case
Call an operator / on the power set of w a pseudo jump operator if J(A) is uniformly recursively enumerable in A and A is recursive in J(A) for all subsets A of u. Thus the (Turing) jump operator is a pseudo jump operator, and any existence proof in the theory of re. degrees yields, when relativized, one or more pseudo jump operators. Extending well-known results about the jump, we show that fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 94 شماره
صفحات -
تاریخ انتشار 1998